区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

石油套管质量评价方法研究

石油套管是油气田开采中重要的物资装备,其质量直接影响油气田的生产安全与开采效率。对石油套管质量评价方法进行研究,优选反映石油套管质量的性能参数,通过归一化处理,结合专家知识,建立评价模型,进而得到石油套管质量的评价结果。将所研究的评价方法应用于P110石油套管质量评价中,评价结果准确、直观,方法有效实用。     

The digital twin of the quality monitoring and control in the series solar cell production line

With the development of intelligent manufacturing (IM), the Digital twin (DT) has become an important means to the evolution mechanism of the process. Many researchers pay attention on the realization of DT in different industries. Based on the DT and Digital Twin Shop Floor (DTS) model, a novel, high throughput metrology method is proposed in the process quality monitoring and control of the Series Solar Cell Production Line (SSCPL) for detailed performance analysis. The variance of individual loss parameters and their impact on quality performance are quantified and mapped into the virtual space. The nature of their distributions and correlations provide great insights about quality loss mechanisms in process monitoring, helping to prioritize efforts for optimizing the control of the SSCPL in the physical space. Additionally, the parameters can be tied back to the physical space, allowing the data to be used directly for the control in the manufacturing. The data-loop of “Autonomous perception of process parameters - Dynamic behaver mapping - Online monitoring - Online data analysis - Parameters configuration & control” can be obtained in the model. This paper provides an application paradigm for DT and IM.     

含有植物纤维或玉米淀粉的食品接触产品质量安全风险研究

研究市售的含有植物纤维或玉米淀粉的食品接触产品质量状况并对其安全性进行初步评价。参考标准要求并结合可能存在的质量安全隐患,从傅里叶变换红外(FTIR)材质分析、总迁移量、重金属(以Pb计)、脱色试验、五氯苯酚特定迁移量及砷、镉、铬、铅含量等维度对含有植物纤维或玉米淀粉的食品接触产品进行研究。35批次样品中有2批次塑料主体材质为密胺,2批次塑料主体材质为聚乳酸,31批次塑料主体材质均为聚丙烯;35批次样品的重金属(以Pb计)、脱色试验、五氯苯酚特定迁移量等项目均符合所参照标准的要求;35批次样品均检出至少含2种重金属,有4批次一次性淀粉餐具总迁移量超标。从检验结果可知,市面上销售的含有植物纤维或玉米淀粉的食品接触产品存在总迁移量超标及样品含重金属的情况,说明市场上该类产品确实存在一定的潜在风险。     

Profiling of knowledge organisation systems for the annotation of Linked Data cultural resources

The importance of cultural heritage for supporting the knowledge economy has promoted its digitisation and online publication. Many cultural heritage repositories have published millions of digitised items using semantic web technologies and Linked Data approaches. These repositories frequently use knowledge organisation systems to classify the resources, but the domain heterogeneity makes it difficult to know if they are the most suitable ones. This paper describes the process used to discover and profile the knowledge organisation systems used in the cultural heritage domain. Additionally, for those knowledge organisation systems with a thesaurus-like structure, a detailed quality analysis is performed. The results of this analysis can be used as a key factor for the selection of knowledge organisation systems in classification tasks.     

简析变压器油的生产工艺及质量

本文简要介绍了变压器油的运用价值,同时分析如何实现对变压器油生产工艺的优化,并从物理性能以及化学性能两个方面分析生产工艺改良后变压器油整体质量,以期为变压器油生产工作提供一定的参考与帮助。     

Effect of fortification with asparagus powder on the qualitative properties of processed cheese

The qualitative properties of processed cheese (PC) fortified with different levels of asparagus powder (AP) (0.5%, 1% and 1.5% wt/wt) were evaluated during storage. AP decreased the pH and lipolysis indexes and increased the phenolic content, antioxidant activity and proteolysis of the processed cheeses. AP made the structure of the cheese more elastic, increased the rigidity and decreased the spreadability compared with the control sample, which corresponded to the results obtained using dynamic oscillatory rheometry. The results showed that AP as a rich source of bioactive components could be used for the fortification of processed cheeses.     

中深层地热井施工关键质量控制点分析#br#

近些年地热资源备受社会各界的广泛关注，特别是在中深层水热型资源的开发利用方面，与常规地热井施工相比，中深层地热井具有深度大、施工过程复杂、成井质量要求高、施工技术难度大等特点，因此对中深层地热井施工过程进行系统研究十分必要。通过查阅大量资料，在收集和分析前人成果的基础上，结合多年的工作经验，对地热井施工流程、分部分项工程划分、关键成井技术指标要求等进行了详细分析，讨论了中深层地热井施工过程中的关键质量控制点，为中深层地热井施工提供了可靠依据。     

A closed loop supply chain under retail price and product quality dependent demand

The importance of remanufacturing of used products, maintaining the same quality as new ones has been widely recognized in practice. In this paper, we address a closed loop supply chain where the manufacturer manufactures a product with a decent quality acceptable to customers, and sells it through a retailer in the market. A third party collects the used products from consumers and sends to the manufacturer. The manufacturer re-manufactures the used product and the quality of remanufactured product is the same as that of the manufactured one. For such a closed loop supply chain, we construct five different scenarios – centralized, decentralized or Nash game and three different Stackelberg games, led by the manufacturer, retailer and third party respectively. We compare the optimal results to find out the best decentralized scenario out of the four mentioned. A numerical example is taken to study the impacts of product quality on demand as well as optimal decisions and investigate sensitivity of some key model-parameters.     

Compensation of voltage disturbances using PEMFC supported Dynamic Voltage Restorer

The continuity of supply and quality of power are the two main significant aspects of today’s power delivery system. The Dynamic Voltage Restorer (DVR) is a series connected custom power device which improves the quality of power delivered to the consumers. This paper deals with the effectual exploitation of DVR for interconnecting the proton exchange membrane fuel cell (PEMFC) stack to the grid based on optimized proportional integral (PI) and fuzzy logic (FL) Controller. The real coded Genetic algorithm (GA) is used to optimize the PI controller parameters. The PEMFC operated boost converter is used to boost up the fuel cell output voltage to balance the DC side necessities of the voltage source converter (VSC). The proposed DVR provides balanced and unbalanced voltage sag/swell compensation, harmonic reduction as well as an active power injection to the grid. The designed method also protects the sensitive loads from source side power quality disturbances including short term interruption. In addition, the harmonic compensation performance of the proposed work is validated by comparing with the results of the H^∞ controller based DVR under medium level voltage condition. The simulation results from MATLAB/SIMULINK are discussed to prove the effectiveness of the planned method.